Category:構成主義 (数学)

Intuitionistic type theory

Primitive recursive arithmetic

Constructivism (philosophy of mathematics)

Realizability

Heyting algebra